منابع مشابه
Taxonomic Reasoning
In formalizing knowledge for common sense reasoning, one often needs to partition some domain. An instance of this from the Blocks World is the statement "All blocks are either held, on the table, or on another block." Although we can write this axiom in predicate calculus or in clause form for input to a theorem prover, such representations are highly space inefficient. In this paper we presen...
متن کاملGeneralization with Taxonomic Information
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorithm for the task, discusses the algorithm and task complexity, and presents semantic properties of sorted generalization. Based on its semantic properties, we show how sorted generalization is applicable to such problems...
متن کاملTaxonomic classes of sets
A taxonomic class is a family of nonempty sets such that either every two of its sets are disjoint or one is contained in the other. A complete taxonomic class is one in which every set is the union of the minimal sets contained in it. A connected taxonomic class has exactly one maximal set. The main results are exact and asymptotic formulas for the number of these classes and maximal taxonomic...
متن کاملTaxonomic novelties in Scapania
Five new supraspecific taxa of Scapania are proposed, Scapania subg. Gracilidae, Scapania subg. Pseudomacrodiplophyllum, Scapania sect. Americanae, Scapania sect. Hyperboreae, and Scapania sect. Simmonsia.
متن کاملModelling linguistic taxonomic dynamics
This paper presents the results of the application of a bit-string model of languages (Schulze and Stauffer 2005) to problems of taxonomic patterns. The questions addressed include the following: (1) Which parameters are minimally needed for the development of a taxonomic dynamics leading to the type of distribution of language family sizes currently attested (as measured in the number of langu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Marine Science
سال: 2018
ISSN: 1927-6648
DOI: 10.5376/ijms.2018.08.0013